501. Elements of the theory of computation
پدیدآورنده: Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
502. Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA
267
.
L49
503. Elements of the theory of computation
پدیدآورنده: Lewis, Harry R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
504. Elements of the theory of computation
پدیدآورنده: Lewis, Harry R
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
505. Elements of the theory of computation /
پدیدآورنده: Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
506. Elements of the theory of computation /Harry R. Lewis, Christos H. Papadimitriou.
پدیدآورنده:
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Machine theory.,Formal languages.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA
267
.
L49
2007
507. Encyclopedia of complexity and systems science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity ;
508. Entropy, search, complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Entropy (Information theory) ; Search theory. ; Computational complexity. ;
509. Entropy, search, complexity /
پدیدآورنده: Imre Csiszár, Gyula O.H. Katona, Gábor Tardos (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Entropy (Information theory),Search theory
رده :
Q370
.
E58
2007
510. Entropy, search, complexity
پدیدآورنده: / Imre Csisz??r, Gyula O.H. Katona, G??bor Tardos (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Entropy (Information theory),Search theory.,Computational complexity.
رده :
Q
,
370
,.
E58
,
2007
512. Essays on the complexity of continuous problems /
پدیدآورنده: Erich Novak [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Mathematical optimization.,Computational complexity.,Mathematical optimization.
رده :
QA267
.
7
.
E87
2009
513. Explaining the computational mind /
پدیدآورنده: Marcin Milkowski
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cognitive neuroscience-- Data processing,Computational complexity,Computational neuroscience
رده :
QP360
.
5
.
M535
2013
514. Exploring randomness
پدیدآورنده: Gregory J. Chaitin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، LISP )Computer program language(
رده :
QA
267
.
C485
515. Extreme events and natural hazards :
پدیدآورنده: A. Surjalal Sharma ... [et al.] editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Geophysical prediction.,Hazard mitigation.,Natural disasters.
رده :
QC807
.
E98
2012eb
516. Facets of Combinatorial Optimizatio
پدیدآورنده: / edited by Michael J?╝nger, Gerhard Reinelt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computational complexity,Algorithms,Mathematical optimization,Electronic books
رده :
E-BOOK
518. Feasible computations and provable complexity properties
پدیدآورنده: Juris Hartmanis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
519. Feasible mathematics
پدیدآورنده: \ Samuel R. Buss, Philip J. Scott, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computational complexity-- Congresses.,Mathematics-- Congresses.,پیچیدگی محاسباتی - کنگره ها
رده :
QA267
.
7
.
F43
1990
E-Book
,
520. Feasible mathematics
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Computational complexity- Congresses►Mathematics- Congresses
رده :
QA
267
.
7
.
F43
